Pentagonal number theorem